indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
A class of structures in model theory has the amalgamation property if for any three structures and embeddings , , there exist embeddings and such that .
One of the simplest cases is when the free amalgam of structures exists.
The amalgamation method for generating strongly minimal theories is introduced in
62(2):147–166, 1993. Stability in model theory, III (Trento, 1991).
Recent references include
Last revised on May 6, 2023 at 11:28:47. See the history of this page for a list of all contributions to it.